Specification of initial connection handling in TCP using structured Petri nets

This paper uses structured Petri nets to specify how connection establishment is handled by the DoD Transmission Control Protocol. The purpose of this paper is to demonstrate an alternate specification technique by examining its application to a portion of a protocol of reasonable complexity.Initially we briefly present the semantics of structured Petri nets. Following this, a terse discussion of the problems of establishing connections in a network takes place. This discussion centers on the use of the three-way handshake, which is used by TCP, as a solution for many of these problems. Finally, the specification of the three-way handshake used in TCP is made. The specification is presented in three sections: first, a general set of notes concerning the nature of this particular specification is discussed; second, the data definitions of the specification are given; and, third, the actual nets themselves are presented.This paper is condensed from a portion of the author's dissertation, which is still in preparation. In the interests of brevity, some components of the specification, such a retransmission handling, have been omitted. Interested readers should contact the author for a more detailed paper

Low tech connections into the ARPA internet : the RawPacket split-gateway

This report describes a "low technology" method for connecting into the ARPA Internet. The use of a RawPacket interface in a system which supoprts IP makes possible the construction of a split-gateway between two hosts. The RawPacket interface permits a user-level process to introduce arbitrary packets into the IP layer, resulting in a virtual network interface. Since the split-gateway is implemented using a RawPacket interface, two networks may be connected together using a convenient medium which does not require explicit kernel support. Hence, split-gateways are well-suited for use as stub-gateways, connecting a local network to a long-haul network such as the ARPA backbone. In particular, the split-gateway discussed in this report achieves a reasonable level of connectivity for a comparatively small expenditure.This report details how the RawPacket software and split-gateways are implemented. In addition, various daemon configurations are presented, modifications to the operating environment are discussed, and some performance measurements are given

FLORIDA\u27S DOWNTOWNS: THE KEY TO SMART GROWTH, URBAN REVITALIZATION, AND GREEN SPACE PRESERVATION

This article reviews Florida\u27s growth management system, which has spurred suburban development, and its negative impact on Florida\u27s cities. As Florida\u27s governor and legislature have turned their focus to this issue, this article evaluates policy recommendations to limit Florida\u27s suburban sprawl and invigorate its urban centers

Flight determined acceleration and climb performance of an F-104G airplane for use in an optimum flight path computer program

Computer program for optimum flight path defined by flight test investigation of performance characteristics /excess thrust, fuel flow, and climb potential/ of F-104G aircraf

Direct Laser Sintering of Metals

The use of a directed laser bealn source to selectively sinter multiple layers of binderless metal powder for the purposes of rapid prototyping is described. The work in this paper is restricted to -325 mesh iron powder, which was sintered using a C\V 50 W Nd:YAG laser to approximately 3.5% density. A subsequent post-treatlnent was perfornled to achieve a fully dense saulple. It is envisioned that such a system can be used to manufacture functional metallic prototypes directly from CAD without part-specific tooling.Mechanical Engineerin

Resource Letter: Gravitational Lensing

This Resource Letter provides a guide to a selection of the literature on gravitational lensing and its applications. Journal articles, books, popular articles, and websites are cited for the following topics: foundations of gravitational lensing, foundations of cosmology, history of gravitational lensing, strong lensing, weak lensing, and microlensing.Comment: Resource Letter, 2012, in press (http://ajp.dickinson.edu/Readers/resLetters.html); 21 pages, no figures; diigo version available at http://groups.diigo.com/group/gravitational-lensin

Empowering Expression for Users with Aphasia through Constrained Creativity

Creative activities allow people to express themselves in rich, nuanced ways. However, being creative does not always come easily. For example, people with speech and language impairments, such as aphasia, face challenges in creative activities that involve language. In this paper, we explore the concept of constrained creativity as a way of addressing this challenge and enabling creative writing. We report an app, MakeWrite, that supports the constrained creation of digital texts through automated redaction. The app was co-designed with and for people with aphasia and was subsequently explored in a workshop with a group of people with aphasia. Participants were not only successful in crafting novel language, but, importantly, self-reported that the app was crucial in enabling them to do so. We refect on the potential of technology-supported constrained creativity as a means of empowering expression amongst users with diverse needs